Grammatica : An Implementation of Algebraic Graph Transformation on Mathematica ⋆
نویسنده
چکیده
Grammatica is a prototype implementation of algebraic graph transformation based on relation algebra. It has been implemented using Mathematica on top of the Combinatorica package, and runs therefore on most platforms. It consists of Mathematica routines for representing, manipulating, displaying and transforming graphs, as well as routines implementing some relation algebra-theoretic operations on graphs. It supports both interactive and automatic application of double-pushout graph productions, being therefore both a teaching aid and a research tool for algebraic graph transformation.
منابع مشابه
The Banach Type Contraction for Mappings on Algebraic Cone Metric Spaces Associated with An Algebraic Distance and Endowed with a Graph
In this work, we define the notion of an algebraic distance in algebraic cone metric spaces defined by Niknam et al. [A. Niknam, S. Shamsi Gamchi and M. Janfada, Some results on TVS-cone normed spaces and algebraic cone metric spaces, Iranian J. Math. Sci. Infor. 9 (1) (2014), 71--80] and introduce some its elementary properties. Then we prove the existence and uniqueness of fixed point for a B...
متن کاملComputer Algebra Support for the Completed Set of Intervals
Being algebraic completion of the conventional interval arithmetic, the arithmetic on extended (proper and improper) intervals possesses group and other algebraic properties suitable for implementation in computer algebra systems. We give an overview of a Mathematica package directed.m supporting the completed set of intervals and discuss the bene ts, provided by this package, for doing numeric...
متن کاملPartitioning of Algebraic Subexpressions in Computer Algebra
A popular technique to direct transformations of algebraic expressions in a computer algebra system such as Macsyma/Maxima or Mathematica is to first write out a pattern or template for some expected class of “input” expressions and use a built-in system routine to match it, identifying pieces and giving them names, then proceeding to compute with these parts. Sometimes this is not such a good ...
متن کاملAn Integrated Modelica Environment for Modeling, Documentation and Simulation
Modelica is a new object-oriented multi-domain modeling language based on algebraic and differential equations. In this paper we present an environment that integrates different phases of the Modelica development lifecycle. This is achieved by using the Mathematica environment and its structured documents, “notebooks”. Simulation models are represented in the form of structured documents, which...
متن کامل